181![Predicate logic / Model theory / Semantics / Logic in computer science / Formal languages / Satisfiability Modulo Theories / First-order logic / Interpretation / Atomic formula / Logic / Theoretical computer science / Mathematical logic Predicate logic / Model theory / Semantics / Logic in computer science / Formal languages / Satisfiability Modulo Theories / First-order logic / Interpretation / Atomic formula / Logic / Theoretical computer science / Mathematical logic](/pdf-icon.png) | Add to Reading ListSource URL: smt2012.loria.frLanguage: English - Date: 2012-06-20 03:34:17
|
---|
182![Computer arithmetic / Constraint programming / Operations research / Data types / Formal systems / Satisfiability Modulo Theories / Floating point / Linear programming / Rounding / Mathematics / Theoretical computer science / Applied mathematics Computer arithmetic / Constraint programming / Operations research / Data types / Formal systems / Satisfiability Modulo Theories / Floating point / Linear programming / Rounding / Mathematics / Theoretical computer science / Applied mathematics](/pdf-icon.png) | Add to Reading ListSource URL: smt2012.loria.frLanguage: English - Date: 2012-06-20 03:34:17
|
---|
183![Formal methods / Predicate logic / Model theory / Formal languages / Predicate transformer semantics / First-order logic / Predicate / Satisfiability Modulo Theories / Functional predicate / Logic / Mathematics / Mathematical logic Formal methods / Predicate logic / Model theory / Formal languages / Predicate transformer semantics / First-order logic / Predicate / Satisfiability Modulo Theories / Functional predicate / Logic / Mathematics / Mathematical logic](/pdf-icon.png) | Add to Reading ListSource URL: proval.lri.frLanguage: English - Date: 2012-08-22 10:26:30
|
---|
184![Satisfiability Modulo Theories / Decision problem / Domagoj / Software engineering / Lecture Notes in Computer Science / Computer science / Theoretical computer science / Applied mathematics / Computer Aided Verification Satisfiability Modulo Theories / Decision problem / Domagoj / Software engineering / Lecture Notes in Computer Science / Computer science / Theoretical computer science / Applied mathematics / Computer Aided Verification](/pdf-icon.png) | Add to Reading ListSource URL: www.domagoj-babic.comLanguage: English - Date: 2013-10-12 15:48:36
|
---|
185![Constraint programming / Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Satisfiability Modulo Theories / Solver / Module / AMPL / Theoretical computer science / Applied mathematics / Mathematics Constraint programming / Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Satisfiability Modulo Theories / Solver / Module / AMPL / Theoretical computer science / Applied mathematics / Mathematics](/pdf-icon.png) | Add to Reading ListSource URL: smtrat.sourceforge.netLanguage: English - Date: 2012-02-28 12:54:49
|
---|
186![Electronic design automation / Logic in computer science / NP-complete problems / Abstract interpretation / Symbolic execution / Satisfiability Modulo Theories / Solver / Theoretical computer science / Applied mathematics / Formal methods Electronic design automation / Logic in computer science / NP-complete problems / Abstract interpretation / Symbolic execution / Satisfiability Modulo Theories / Solver / Theoretical computer science / Applied mathematics / Formal methods](/pdf-icon.png) | Add to Reading ListSource URL: sebastien.bardin.free.frLanguage: English - Date: 2014-04-03 11:43:14
|
---|
187![Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Boolean algebra / Lookup table / Satisfiability Modulo Theories / FO / Boolean satisfiability problem / Theoretical computer science / Logic / Mathematical logic Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Boolean algebra / Lookup table / Satisfiability Modulo Theories / FO / Boolean satisfiability problem / Theoretical computer science / Logic / Mathematical logic](/pdf-icon.png) | Add to Reading ListSource URL: www.cse.iitb.ac.inLanguage: English - Date: 2012-06-17 16:38:49
|
---|
188![Formal methods / Logic in computer science / Electronic design automation / Constraint programming / Satisfiability Modulo Theories / Reasoning system / Formal verification / Solver / Algorithm / Theoretical computer science / Applied mathematics / Mathematics Formal methods / Logic in computer science / Electronic design automation / Constraint programming / Satisfiability Modulo Theories / Reasoning system / Formal verification / Solver / Algorithm / Theoretical computer science / Applied mathematics / Mathematics](/pdf-icon.png) | Add to Reading ListSource URL: www.cs.umd.eduLanguage: English - Date: 2010-10-26 18:47:17
|
---|
189![Constraint programming / Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Boolean satisfiability problem / Fourier–Motzkin elimination / Satisfiability Modulo Theories / Constraint satisfaction / Theoretical computer science / Applied mathematics / Mathematics Constraint programming / Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Boolean satisfiability problem / Fourier–Motzkin elimination / Satisfiability Modulo Theories / Constraint satisfaction / Theoretical computer science / Applied mathematics / Mathematics](/pdf-icon.png) | Add to Reading ListSource URL: hci.stanford.eduLanguage: English - Date: 2007-03-24 22:33:28
|
---|